#include <cstdio>

int main() {
    double s, t;
    scanf("%lf%lf", &s, &t);
    printf("%.3lf\n", s * t / 12);

    return 0;
}
